Maple est le logiciel de référence en matière de calcul formel. Il est propriétaire et payant.
Si vous souhaitez utiliser un équivalent libre, tournez-vous vers maxima, mathomatic ou encore giac-xcas, développé par l'Université de Grenoble, qui comprend un mode "compatibilité Maple".
Voir le Wiki anglais.